منابع مشابه
Modellierung der Energieversorgung eines voll automatisierten Milchviehstalles
Um den Energieverbrauch im zukünftig hochtechnisierten und automatisierten Milchviehstall möglichst mit eigen produzierter Energie aus der Vergärung von Gülle oder der Produktion von elektrischer Energie mittels der Photovoltaikanlage auf dem Dach des Milchviehstalles zu decken, muss ein Modellstall entwickelt werden. Die Energieverteilung im Modellstall muss durch das Energie Management System...
متن کاملOn the Almighty Wand
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify properties about the memory heap of programs with singly-linked lists. Separation logic with two record fields is known to be undecidable by reduction of finite satisfiability for classical predicate logic with one bina...
متن کاملAn Object-Oriented Metamodel for Bunge-Wand-Weber Ontology
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes categories that can be applied to analyze and classify objects found in an information system. In the context of BWW ontology, the metamodel is a representation of the ontological categories and relationships among them...
متن کاملTestbarkeitsanforderungen an die Software
Testprobleme und die Suche nach SoftwareFehlern verschlingen einen wesentlichen Anteil des Projektbudgets. Um bei knapp kalkulierten Projektressourcen noch handlungsfähig zu bleiben sollte daher dieser Anteil durch konstruktive Maßnahmen zur Verbesserung der Testbarkeit unter Kontrolle gehalten werden. Dieser Artikel beschreibt zahlreiche funktionale und nicht-funktionale Anforderungen für die ...
متن کاملWAND: an ecological network analysis user-friendly tool
Ecological network analysis is a modelling approach that requires one to represent ecosystems as networks wherein matter/ energy enters compartments (species-trophospecies), is exchanged between them and finally leaves the system as dissipation or usable export. The systematic analysis of the ecosystem flow networks is comprised of several techniques, aiming to interpret ecosystems structure an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Atz - Automobiltechnische Zeitschrift
سال: 2021
ISSN: ['0001-2785', '2192-8800']
DOI: https://doi.org/10.1007/s35148-021-0703-5